1. ISILC Proof Theory Symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Author: edited by J. Diller and G. H. Muller
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Proof theory,، Schutte, Kurt - Bibliography
Classification :
QA
1
.
L4
v
.
500
2. ISILC Proof Theory Symposium : dealicated to Kurt Schutte on the Occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Author: edited by J. Diller and G. H. Muller
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Proof theory,Bibliography ، Schutte, Kurt
Classification :
QA
3
.
L28
Vol
.
500
3. ISILC Proof theory symposium; Dedicated to Kurt Schutte on the occasion of his 65th birthday; Proceedings of the international summer institute and logic colloquium, Kiel, 1974
Author: / edited by J. Diller and G. H. Muller
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Proof theory - Congresses,Schutte Kurt - Bibliography
Classification :
510
L471
No
.
500
